Institution-independent Model Theory - Preamble

Preamble of Constitution VS Govt.'s Policy to Promote Private Higher Educational Institutions in India: A Mathematical Model for Solution

Elementary Diagrams in Institutions

We generalise the method of diagrams from conventional model theory to a simple institution-independent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel categorical concept of elementary diagram of a model. We illustrate the power of our institution-independent method of elementary diagrams by developing several applications to instit...

Institution-independent Ultraproducts

We generalise the ultraproducts method from conventional model theory to an institutionindependent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel very general treatment of the semantics of some important concepts in logic, such as quantification, logical connectives, and ground atomic sentences. Unlike previous abstract model theore...

Saturated models in institutions

the date of receipt and acceptance should be inserted later Keywords Saturated models · institutions · institution-independent model theory Abstract Saturated models constitute one of the powerful methods of conventional model theory, with many applications. Here we develop a categorical abstract model theoretic approach to saturated models within the theory of institutions. The most important ...

Efficient Preamble Design Technique for Millimeter-Wave Cellular Systems with Beamforming

The processing time for beam training in millimeter-wave (mmWave) cellular systems can be significantly reduced by a code division multiplexing (CDM)-based technique, where multiple beams are transmitted simultaneously with their corresponding Tx beam IDs (BIDs) in the preamble. However, mmWave cellular systems with CDM-based preambles require a large number of cell IDs (CIDs) and BIDs, and a h...